Non-Linear Type Extensions , 1994
نویسنده
چکیده
Type extension is a language facility proposed by N. Wirth and included in the programming language Oberon. The facility allows a type to be created based on another type while maintaining a hierarchic type relationship. This paper gives an introduction to the type extension facility as it is implemented in Oberon and shows how it can be general ised to allow a non-l inear type hierarchy to be constructed and discriminated.
منابع مشابه
Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some Extensions
In this paper, constructions of free algebras corresponding to mul-tiplicative classical linear logic, its aane variant and their extensions with n-contraction (n 2) are given. As an application, the cardinal-ity problem of some one-variable linear fragments with n-contraction is solved.
متن کاملLimiting distributions of linear programming estimators
Smith (1994) proposes estimation in linear regression models with non-negative errors by maximizing the sum of tted values subject to the constraint that the tted values can be no larger than the corresponding response value. In this paper, we consider the limiting distribution of these estimators under very general conditions. Some extensions to local polynomial estimation are also considered.
متن کاملNon-linear Approximations to Gravitational Instability: a Comparison in the Quasi-linear Regime
We compare different nonlinear approximations to gravitational clustering in the weakly nonlinear regime, using as a comparative statistic the evolution of non-Gaussianity which can be characterised by a set of numbers Sp describing connected moments of the density field at the lowest order in 〈δ2〉: 〈δ〉c ≃ Sn〈δ〉. Generalizing earlier work by Bernardeau (1992) we develop an ansatz to evaluate al...
متن کاملSome extensions of Darbo's theorem and solutions of integral equations of Hammerstein type
In this brief note, using the technique of measures of noncompactness, we give some extensions of Darbo fixed point theorem. Also we prove an existence result for a quadratic integral equation of Hammerstein type on an unbounded interval in two variables which includes several classes of nonlinear integral equations of Hammerstein type. Furthermore, an example is presented to show the effic...
متن کاملLoqo: an Interior Point Code for Quadratic Programming
ABSTRACT. This paper describes a software package, called LOQO, which implements a primaldual interior-point method for general nonlinear programming. We focus in this paper mainly on the algorithm as it applies to linear and quadratic programming with only brief mention of the extensions to convex and general nonlinear programming, since a detailed paper describing these extensions were publis...
متن کامل